Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
🧪Testing
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·11h·
Discuss: Hacker News
🦀Programming languages
Death to Type Classes
jappie.me·1d·
Discuss: Hacker News
🦀Programming languages
The Capability-Tractability Tradeoff (2023)
buttondown.com·21h·
Discuss: Hacker News
🧪Testing
Safe C++ proposal is not being continued
sibellavia.lol·8h·
Discuss: Lobsters, Hacker News
🦀Programming languages
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·2d·
Discuss: Hacker News
🧪Testing
Choosing Rust for LLM-generated code
runmat.org·1d·
Discuss: Hacker News
🦀Programming languages
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·3d·
Discuss: Hacker News, r/cpp
🦀Programming languages
Issue 489
haskellweekly.news·2d·
Discuss: Hacker News
🦀Programming languages
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
🧪Testing
The future of microoptimization
goldenstack.net·13h·
Discuss: Hacker News
🧪Testing
Object Reorientation: Generic Functions
gigamonkeys.com·2d·
Discuss: Hacker News
🦀Programming languages
MiniRust
github.com·18h·
Discuss: Hacker News
🦀Programming languages
The Elements of Programming Style
en.wikipedia.org·1d·
Discuss: Hacker News
🦀Programming languages
Go channels to solve interface impedance mismatch
dolthub.com·1d·
Discuss: Hacker News, r/golang
🦀Programming languages
C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·1d·
Discuss: Hacker News
🦀Programming languages
Defeating Nondeterminism in LLM Inference
simonwillison.net·2d
🧪Testing
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·3d·
Discuss: Hacker News, r/rust
🦀Programming languages
MoroJS A fast, TypeScript-first API framework (68k req/SEC, AI-ready)
morojs.com·22h·
Discuss: Hacker News
🦀Programming languages
Lobsters Interview with Susam
lobste.rs·1d·
Discuss: Lobsters
🦀Programming languages